; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i8 5 to i64
  %".5" = and i64 %".4", 63
  %".6" = lshr i64 %"SymVar_0", %".5"
  %".7" = and i64 87652534112836074, %".6"
  %".8" = and i64 117850039, %".7"
  %".9" = or i64 441848546, %"SymVar_0"
  %".10" = add i64 %".8", %".9"
  %".11" = and i64 15, %".10"
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = shl i64 %".11", %".13"
  %".15" = and i64 15, %".10"
  %".16" = zext i8 3 to i64
  %".17" = and i64 %".16", 63
  %".18" = shl i64 %".15", %".17"
  %".19" = sub i64 %"SymVar_0", 63267836
  %".20" = or i64 %".18", %".19"
  %".21" = or i64 %".14", %".20"
  %".22" = and i64 15, %".21"
  %".23" = zext i8 3 to i64
  %".24" = and i64 %".23", 63
  %".25" = shl i64 %".22", %".24"
  %".26" = or i64 %".25", %".21"
  %".27" = and i64 31, %".26"
  %".28" = zext i8 3 to i64
  %".29" = and i64 %".28", 63
  %".30" = shl i64 %".27", %".29"
  %".31" = and i64 31, %".20"
  %".32" = zext i8 3 to i64
  %".33" = and i64 %".32", 63
  %".34" = shl i64 %".31", %".33"
  %".35" = sub i64 %"SymVar_0", 43022659
  %".36" = zext i8 3 to i64
  %".37" = and i64 %".36", 63
  %".38" = lshr i64 %".10", %".37"
  %".39" = and i64 15, %".38"
  %".40" = or i64 1, %".39"
  %".41" = sub i64 64, %".40"
  %".42" = trunc i64 %".41" to i32
  %".43" = zext i32 %".42" to i64
  %".44" = trunc i64 %".43" to i8
  %".45" = zext i8 %".44" to i64
  %".46" = and i64 %".45", 63
  %".47" = lshr i64 828565327, %".46"
  %".48" = zext i8 3 to i64
  %".49" = and i64 %".48", 63
  %".50" = lshr i64 %".10", %".49"
  %".51" = and i64 15, %".50"
  %".52" = or i64 1, %".51"
  %".53" = trunc i64 %".52" to i32
  %".54" = zext i32 %".53" to i64
  %".55" = trunc i64 %".54" to i8
  %".56" = zext i8 %".55" to i64
  %".57" = and i64 %".56", 63
  %".58" = shl i64 828565327, %".57"
  %".59" = or i64 %".47", %".58"
  %".60" = zext i8 4 to i64
  %".61" = and i64 %".60", 63
  %".62" = lshr i64 %".59", %".61"
  %".63" = and i64 7, %".62"
  %".64" = or i64 1, %".63"
  %".65" = trunc i64 %".64" to i32
  %".66" = zext i32 %".65" to i64
  %".67" = trunc i64 %".66" to i8
  %".68" = zext i8 %".67" to i64
  %".69" = and i64 %".68", 63
  %".70" = shl i64 %".35", %".69"
  %".71" = or i64 %".34", %".70"
  %".72" = or i64 %".30", %".71"
  %".73" = add i64 %".72", %".72"
  %".74" = and i64 7, %".73"
  %".75" = zext i8 2 to i64
  %".76" = and i64 %".75", 63
  %".77" = shl i64 %".74", %".76"
  %".78" = and i64 15, %".26"
  %".79" = zext i8 3 to i64
  %".80" = and i64 %".79", 63
  %".81" = shl i64 %".78", %".80"
  %".82" = or i64 %".81", %".26"
  %".83" = or i64 %".77", %".82"
  %".84" = lshr i64 %".7", 48
  %".85" = trunc i64 %".84" to i8
  %".86" = zext i8 %".85" to i32
  %".87" = zext i32 %".86" to i64
  %".88" = trunc i64 %".87" to i8
  %".89" = zext i8 %".88" to i32
  %".90" = zext i32 %".89" to i64
  %".91" = trunc i64 %".90" to i8
  %".92" = zext i8 %".91" to i32
  %".93" = zext i32 %".92" to i64
  %".94" = trunc i64 %".93" to i8
  %".95" = zext i8 %".94" to i32
  %".96" = zext i32 %".95" to i64
  %".97" = trunc i64 %".96" to i8
  %".98" = zext i8 %".97" to i32
  %".99" = zext i32 %".98" to i64
  %".100" = trunc i64 %".99" to i8
  %".101" = zext i8 %".100" to i32
  %".102" = zext i32 %".101" to i64
  %".103" = trunc i64 %".102" to i8
  %".104" = zext i8 %".103" to i32
  %".105" = zext i32 %".104" to i64
  %".106" = trunc i64 %".105" to i8
  %".107" = zext i8 %".106" to i32
  %".108" = zext i32 %".107" to i64
  %".109" = trunc i64 %".108" to i8
  %".110" = zext i8 %".109" to i64
  %".111" = lshr i64 %".7", 8
  %".112" = trunc i64 %".111" to i8
  %".113" = zext i8 %".112" to i64
  %".114" = shl i64 %".113", 8
  %".115" = or i64 %".110", %".114"
  %".116" = lshr i64 %".7", 16
  %".117" = trunc i64 %".116" to i8
  %".118" = zext i8 %".117" to i64
  %".119" = shl i64 %".118", 16
  %".120" = or i64 %".115", %".119"
  %".121" = lshr i64 %".7", 24
  %".122" = trunc i64 %".121" to i8
  %".123" = zext i8 %".122" to i64
  %".124" = shl i64 %".123", 24
  %".125" = or i64 %".120", %".124"
  %".126" = lshr i64 %".7", 40
  %".127" = trunc i64 %".126" to i8
  %".128" = zext i8 %".127" to i32
  %".129" = zext i32 %".128" to i64
  %".130" = trunc i64 %".129" to i8
  %".131" = zext i8 %".130" to i32
  %".132" = zext i32 %".131" to i64
  %".133" = trunc i64 %".132" to i8
  %".134" = zext i8 %".133" to i32
  %".135" = zext i32 %".134" to i64
  %".136" = trunc i64 %".135" to i8
  %".137" = zext i8 %".136" to i32
  %".138" = zext i32 %".137" to i64
  %".139" = trunc i64 %".138" to i8
  %".140" = zext i8 %".139" to i32
  %".141" = zext i32 %".140" to i64
  %".142" = trunc i64 %".141" to i8
  %".143" = zext i8 %".142" to i32
  %".144" = zext i32 %".143" to i64
  %".145" = trunc i64 %".144" to i8
  %".146" = zext i8 %".145" to i32
  %".147" = zext i32 %".146" to i64
  %".148" = trunc i64 %".147" to i8
  %".149" = zext i8 %".148" to i32
  %".150" = zext i32 %".149" to i64
  %".151" = trunc i64 %".150" to i8
  %".152" = zext i8 %".151" to i64
  %".153" = shl i64 %".152", 32
  %".154" = or i64 %".125", %".153"
  %".155" = lshr i64 %".7", 32
  %".156" = trunc i64 %".155" to i8
  %".157" = zext i8 %".156" to i32
  %".158" = zext i32 %".157" to i64
  %".159" = trunc i64 %".158" to i8
  %".160" = zext i8 %".159" to i32
  %".161" = zext i32 %".160" to i64
  %".162" = trunc i64 %".161" to i8
  %".163" = zext i8 %".162" to i32
  %".164" = zext i32 %".163" to i64
  %".165" = trunc i64 %".164" to i8
  %".166" = zext i8 %".165" to i32
  %".167" = zext i32 %".166" to i64
  %".168" = trunc i64 %".167" to i8
  %".169" = zext i8 %".168" to i64
  %".170" = shl i64 %".169", 40
  %".171" = or i64 %".154", %".170"
  %".172" = trunc i64 %".7" to i8
  %".173" = zext i8 %".172" to i32
  %".174" = zext i32 %".173" to i64
  %".175" = trunc i64 %".174" to i8
  %".176" = zext i8 %".175" to i32
  %".177" = zext i32 %".176" to i64
  %".178" = trunc i64 %".177" to i8
  %".179" = zext i8 %".178" to i32
  %".180" = zext i32 %".179" to i64
  %".181" = trunc i64 %".180" to i8
  %".182" = zext i8 %".181" to i32
  %".183" = zext i32 %".182" to i64
  %".184" = trunc i64 %".183" to i8
  %".185" = zext i8 %".184" to i64
  %".186" = shl i64 %".185", 48
  %".187" = or i64 %".171", %".186"
  %".188" = lshr i64 %".7", 56
  %".189" = trunc i64 %".188" to i8
  %".190" = zext i8 %".189" to i64
  %".191" = shl i64 %".190", 56
  %".192" = or i64 %".187", %".191"
  %".193" = and i64 63, %".192"
  %".194" = zext i8 4 to i64
  %".195" = and i64 %".194", 63
  %".196" = shl i64 %".193", %".195"
  %".197" = lshr i64 %".10", 32
  %".198" = trunc i64 %".197" to i8
  %".199" = zext i8 %".198" to i32
  %".200" = lshr i64 %".10", 40
  %".201" = trunc i64 %".200" to i8
  %".202" = zext i8 %".201" to i32
  %".203" = shl i32 %".202", 8
  %".204" = or i32 %".199", %".203"
  %".205" = lshr i64 %".10", 48
  %".206" = trunc i64 %".205" to i8
  %".207" = zext i8 %".206" to i32
  %".208" = shl i32 %".207", 16
  %".209" = or i32 %".204", %".208"
  %".210" = lshr i64 %".10", 56
  %".211" = trunc i64 %".210" to i8
  %".212" = zext i8 %".211" to i32
  %".213" = shl i32 %".212", 24
  %".214" = or i32 %".209", %".213"
  %".215" = zext i32 %".214" to i64
  %".216" = trunc i64 %".215" to i32
  %".217" = zext i32 %".216" to i64
  %".218" = trunc i64 %".217" to i32
  %".219" = zext i32 %".218" to i64
  %".220" = trunc i64 %".219" to i32
  %".221" = zext i32 %".220" to i64
  %".222" = trunc i64 %".221" to i32
  %".223" = trunc i32 %".222" to i8
  %".224" = zext i8 %".223" to i64
  %".225" = trunc i64 %".221" to i32
  %".226" = lshr i32 %".225", 8
  %".227" = trunc i32 %".226" to i8
  %".228" = zext i8 %".227" to i64
  %".229" = shl i64 %".228", 8
  %".230" = or i64 %".224", %".229"
  %".231" = trunc i64 %".221" to i32
  %".232" = lshr i32 %".231", 16
  %".233" = trunc i32 %".232" to i8
  %".234" = zext i8 %".233" to i64
  %".235" = shl i64 %".234", 16
  %".236" = or i64 %".230", %".235"
  %".237" = trunc i64 %".221" to i32
  %".238" = lshr i32 %".237", 24
  %".239" = trunc i32 %".238" to i8
  %".240" = zext i8 %".239" to i64
  %".241" = shl i64 %".240", 24
  %".242" = or i64 %".236", %".241"
  %".243" = trunc i64 %".10" to i8
  %".244" = zext i8 %".243" to i32
  %".245" = lshr i64 %".10", 8
  %".246" = trunc i64 %".245" to i8
  %".247" = zext i8 %".246" to i32
  %".248" = shl i32 %".247", 8
  %".249" = or i32 %".244", %".248"
  %".250" = lshr i64 %".10", 16
  %".251" = trunc i64 %".250" to i8
  %".252" = zext i8 %".251" to i32
  %".253" = shl i32 %".252", 16
  %".254" = or i32 %".249", %".253"
  %".255" = lshr i64 %".10", 24
  %".256" = trunc i64 %".255" to i8
  %".257" = zext i8 %".256" to i32
  %".258" = shl i32 %".257", 24
  %".259" = or i32 %".254", %".258"
  %".260" = zext i32 %".259" to i64
  %".261" = trunc i64 %".260" to i32
  %".262" = zext i32 %".261" to i64
  %".263" = trunc i64 %".262" to i32
  %".264" = zext i32 %".263" to i64
  %".265" = trunc i64 %".264" to i32
  %".266" = zext i32 %".265" to i64
  %".267" = trunc i64 %".266" to i32
  %".268" = zext i32 %".267" to i64
  %".269" = trunc i64 %".268" to i32
  %".270" = zext i32 %".269" to i64
  %".271" = trunc i64 %".270" to i32
  %".272" = zext i32 %".271" to i64
  %".273" = trunc i64 %".272" to i32
  %".274" = zext i32 %".273" to i64
  %".275" = trunc i64 %".274" to i32
  %".276" = trunc i32 %".275" to i8
  %".277" = zext i8 %".276" to i64
  %".278" = shl i64 %".277", 32
  %".279" = or i64 %".242", %".278"
  %".280" = trunc i64 %".274" to i32
  %".281" = lshr i32 %".280", 8
  %".282" = trunc i32 %".281" to i8
  %".283" = zext i8 %".282" to i64
  %".284" = shl i64 %".283", 40
  %".285" = or i64 %".279", %".284"
  %".286" = trunc i64 %".274" to i32
  %".287" = lshr i32 %".286", 16
  %".288" = trunc i32 %".287" to i8
  %".289" = zext i8 %".288" to i64
  %".290" = shl i64 %".289", 48
  %".291" = or i64 %".285", %".290"
  %".292" = trunc i64 %".274" to i32
  %".293" = lshr i32 %".292", 24
  %".294" = trunc i32 %".293" to i8
  %".295" = zext i8 %".294" to i64
  %".296" = shl i64 %".295", 56
  %".297" = or i64 %".291", %".296"
  %".298" = or i64 %".196", %".297"
  %".299" = zext i8 3 to i64
  %".300" = and i64 %".299", 63
  %".301" = lshr i64 %".298", %".300"
  %".302" = and i64 15, %".301"
  %".303" = or i64 1, %".302"
  %".304" = sub i64 64, %".303"
  %".305" = trunc i64 %".304" to i32
  %".306" = zext i32 %".305" to i64
  %".307" = trunc i64 %".306" to i8
  %".308" = zext i8 %".307" to i64
  %".309" = and i64 %".308", 63
  %".310" = shl i64 %".83", %".309"
  %".311" = zext i8 3 to i64
  %".312" = and i64 %".311", 63
  %".313" = lshr i64 %".298", %".312"
  %".314" = and i64 15, %".313"
  %".315" = or i64 1, %".314"
  %".316" = trunc i64 %".315" to i32
  %".317" = zext i32 %".316" to i64
  %".318" = trunc i64 %".317" to i8
  %".319" = zext i8 %".318" to i64
  %".320" = and i64 %".319", 63
  %".321" = lshr i64 %".83", %".320"
  %".322" = or i64 %".310", %".321"
  %".323" = and i64 15, %".322"
  %".324" = zext i8 2 to i64
  %".325" = and i64 %".324", 63
  %".326" = shl i64 %".323", %".325"
  %".327" = lshr i64 %".72", 32
  %".328" = trunc i64 %".327" to i8
  %".329" = zext i8 %".328" to i32
  %".330" = lshr i64 %".72", 40
  %".331" = trunc i64 %".330" to i8
  %".332" = zext i8 %".331" to i32
  %".333" = shl i32 %".332", 8
  %".334" = or i32 %".329", %".333"
  %".335" = lshr i64 %".72", 48
  %".336" = trunc i64 %".335" to i8
  %".337" = zext i8 %".336" to i32
  %".338" = shl i32 %".337", 16
  %".339" = or i32 %".334", %".338"
  %".340" = lshr i64 %".72", 56
  %".341" = trunc i64 %".340" to i8
  %".342" = zext i8 %".341" to i32
  %".343" = shl i32 %".342", 24
  %".344" = or i32 %".339", %".343"
  %".345" = zext i32 %".344" to i64
  %".346" = trunc i64 %".345" to i32
  %".347" = zext i32 %".346" to i64
  %".348" = trunc i64 %".347" to i32
  %".349" = zext i32 %".348" to i64
  %".350" = trunc i64 %".349" to i32
  %".351" = zext i32 %".350" to i64
  %".352" = trunc i64 %".351" to i32
  %".353" = zext i32 %".352" to i64
  %".354" = trunc i64 %".353" to i32
  %".355" = zext i32 %".354" to i64
  %".356" = trunc i64 %".355" to i32
  %".357" = zext i32 %".356" to i64
  %".358" = trunc i64 %".357" to i32
  %".359" = zext i32 %".358" to i64
  %".360" = trunc i64 %".359" to i32
  %".361" = trunc i32 %".360" to i8
  %".362" = zext i8 %".361" to i64
  %".363" = trunc i64 %".359" to i32
  %".364" = lshr i32 %".363", 8
  %".365" = trunc i32 %".364" to i8
  %".366" = zext i8 %".365" to i64
  %".367" = shl i64 %".366", 8
  %".368" = or i64 %".362", %".367"
  %".369" = trunc i64 %".359" to i32
  %".370" = lshr i32 %".369", 16
  %".371" = trunc i32 %".370" to i8
  %".372" = zext i8 %".371" to i64
  %".373" = shl i64 %".372", 16
  %".374" = or i64 %".368", %".373"
  %".375" = trunc i64 %".359" to i32
  %".376" = lshr i32 %".375", 24
  %".377" = trunc i32 %".376" to i8
  %".378" = zext i8 %".377" to i64
  %".379" = shl i64 %".378", 24
  %".380" = or i64 %".374", %".379"
  %".381" = trunc i64 %".72" to i8
  %".382" = zext i8 %".381" to i32
  %".383" = lshr i64 %".72", 8
  %".384" = trunc i64 %".383" to i8
  %".385" = zext i8 %".384" to i32
  %".386" = shl i32 %".385", 8
  %".387" = or i32 %".382", %".386"
  %".388" = lshr i64 %".72", 16
  %".389" = trunc i64 %".388" to i8
  %".390" = zext i8 %".389" to i32
  %".391" = shl i32 %".390", 16
  %".392" = or i32 %".387", %".391"
  %".393" = lshr i64 %".72", 24
  %".394" = trunc i64 %".393" to i8
  %".395" = zext i8 %".394" to i32
  %".396" = shl i32 %".395", 24
  %".397" = or i32 %".392", %".396"
  %".398" = zext i32 %".397" to i64
  %".399" = trunc i64 %".398" to i32
  %".400" = zext i32 %".399" to i64
  %".401" = trunc i64 %".400" to i32
  %".402" = zext i32 %".401" to i64
  %".403" = trunc i64 %".402" to i32
  %".404" = zext i32 %".403" to i64
  %".405" = trunc i64 %".404" to i32
  %".406" = trunc i32 %".405" to i8
  %".407" = zext i8 %".406" to i64
  %".408" = shl i64 %".407", 32
  %".409" = or i64 %".380", %".408"
  %".410" = trunc i64 %".404" to i32
  %".411" = lshr i32 %".410", 8
  %".412" = trunc i32 %".411" to i8
  %".413" = zext i8 %".412" to i64
  %".414" = shl i64 %".413", 40
  %".415" = or i64 %".409", %".414"
  %".416" = trunc i64 %".404" to i32
  %".417" = lshr i32 %".416", 16
  %".418" = trunc i32 %".417" to i8
  %".419" = zext i8 %".418" to i64
  %".420" = shl i64 %".419", 48
  %".421" = or i64 %".415", %".420"
  %".422" = trunc i64 %".404" to i32
  %".423" = lshr i32 %".422", 24
  %".424" = trunc i32 %".423" to i8
  %".425" = zext i8 %".424" to i64
  %".426" = shl i64 %".425", 56
  %".427" = or i64 %".421", %".426"
  %".428" = or i64 %".326", %".427"
  %".429" = or i64 %".83", %".428"
  %".430" = zext i8 %".109" to i64
  %".431" = zext i8 %".112" to i64
  %".432" = shl i64 %".431", 8
  %".433" = or i64 %".430", %".432"
  %".434" = zext i8 %".117" to i64
  %".435" = shl i64 %".434", 16
  %".436" = or i64 %".433", %".435"
  %".437" = zext i8 %".122" to i64
  %".438" = shl i64 %".437", 24
  %".439" = or i64 %".436", %".438"
  %".440" = zext i8 %".151" to i64
  %".441" = shl i64 %".440", 32
  %".442" = or i64 %".439", %".441"
  %".443" = zext i8 %".168" to i64
  %".444" = shl i64 %".443", 40
  %".445" = or i64 %".442", %".444"
  %".446" = zext i8 %".184" to i64
  %".447" = shl i64 %".446", 48
  %".448" = or i64 %".445", %".447"
  %".449" = zext i8 %".189" to i64
  %".450" = shl i64 %".449", 56
  %".451" = or i64 %".448", %".450"
  %".452" = zext i8 3 to i64
  %".453" = and i64 %".452", 63
  %".454" = lshr i64 %".298", %".453"
  %".455" = and i64 7, %".454"
  %".456" = or i64 1, %".455"
  %".457" = trunc i64 %".456" to i32
  %".458" = zext i32 %".457" to i64
  %".459" = trunc i64 %".458" to i8
  %".460" = zext i8 %".459" to i64
  %".461" = and i64 %".460", 63
  %".462" = shl i64 %".451", %".461"
  %".463" = or i64 %".429", %".462"
  ret i64 %".463"
}
